The stable monomorphism category of a Frobenius category

On the category of geometric spaces and the category of (geometric) hypergroups

‎In this paper first we define the morphism between geometric spaces in two different types‎. ‎We construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories‎, ‎for instance $uu$ is topological‎. ‎The relation between hypergroups and geometric spaces is studied‎. ‎By constructing the category $qh$ of $H_{v}$-groups we answer the question...

A radical extension of the category of $S$-sets

Let S-Set be the category of $S$-sets, sets together with the actions of a semigroup $S$ on them. And, let S-Pos be the category of $S$-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class i...

The category of monoid actions in Cpo

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

Category of Polygroup Objects

The category of generalized crossed modules

In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...